Infanteriedegen, 1741 Infanterie degen, 1700-1725 Degen voor Staatse infanterie, Nederland, 1690-1710